Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
481	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-11-19 17:25:51 Subroutines Functional programming Lambda calculus Type theory Object-oriented programming JavaScript Closure Apply Type system Software engineering Computing Computer programming
482	A library for quizzes Christian Queinnec Université Paris 6 — Pierre et Marie Curie LIP6, 4 place Jussieu, 75252 Paris Cedex — France Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Combinatory logic Social psychology Data management Data collection Fixed-point combinator Lambda calculus Quiz Question
483	PDF Document Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2012-08-16 15:05:00 Lambda calculus Algebraic geometry Field theory Valuation Eval Normalisation by evaluation Combinatory logic Mathematics Theoretical computer science Abstract algebra
484	The Duality of Computation (revision fixing typos and a few errors – JanuaryPierre-Louis Curien Hugo Herbelin Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-23 12:28:12 Theoretical computer science Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Natural deduction Lambda calculus Valuation Proof theory Mathematics Mathematical logic
485	 7  -      Add to Reading List Source URL: hop.perl.plover.com Language: English - Date: 2008-12-09 12:52:19 Functional programming Functions and mappings Lambda calculus Subroutines Higher-order functions Currying Function Anonymous function Derivative Software engineering Declarative programming Mathematics
486	Comments of Poll Everywhere.docx Add to Reading List Source URL: engine.is Language: English - Date: 2015-05-14 11:09:55 Combinatory logic Clicker Lambda calculus Audience response Y Combinator
487	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:10:59 Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra
488	Dedukti In a Nutshell Ronan Saillard INRIA MINES ParisTech, PSL Research University January 9, 2015 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 09:57:49 N1 Append Vector space Lambda calculus Algebra Mathematics N1 road
489	Pearls of XSLT/XPath 3.0 Design Add to Reading List Source URL: www.xfront.com Language: English - Date: 2013-01-08 07:12:23 Subroutines Functional programming Higher-order functions Lambda calculus Data types Anonymous function Function Partial application XSLT Software engineering Declarative programming Computing
490	Implementing Closures in XSLT/XPath 3.0 Add to Reading List Source URL: www.xfront.com Language: English - Date: 2012-11-17 18:09:06 Subroutines Functional programming Lambda calculus Anonymous function Closure Function Higher-order function XSLT Haskell 98 features Software engineering Computing Declarative programming

UPDATE